Tense like equality algebras
نویسندگان
چکیده
منابع مشابه
TENSE OPERATORS ON SHn-ALGEBRAS
In 1982, L. Iturrioz introduced symmetrical Heyting algebras of order n (or SHnalgebras). In this paper, we define and study tense SHn-algebras namely, SHnalgebras endowed with two tense operators. These algebras constitute a generalization of tense Łukasiewicz-Moisil algebras. Our main interest is the duality theory for tense SHn-algebras. In order to do this, we requiere Esakia’s duality for ...
متن کاملState Pseudo Equality Algebras
Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. The aim of this paper is to investigate the internal states and the state-morphisms on pseudo equality algebras. We define and study new classes of pseudo equality algebras, such as com...
متن کاملCommutative pseudo-equality algebras
Pseudo equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy type theory, and they have been revised by Dvurečenskij and Zahiri under the name of JK-algebras. In this paper we define and study the commutative pseudo equality algebras. We give a characterization of commutative pseudo equality algebras and we prove that an invariant pseudo equa...
متن کاملTense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras
We introduce the tense LMn-algebras and the tense MV algebras as algebraic structures for some tense many-valued logics. A representation theorem for tense LMn-algebras is proved and the polynomially equivalence between tense LM3-algebras (resp. tense LM4-algebras) and tense MV3-algebras (resp. tense MV4-algebras) is established. We study the pairs of dually-conjugated operations on MV -algebra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Categories and General Algebraic Structures with Application
سال: 2020
ISSN: 2345-5853,2345-5861
DOI: 10.29252/cgasa.13.1.143